a method for data flow anomaly detection in oo programs 一種檢查面向?qū)ο蟪绦蛑袛?shù)據(jù)流異常的方法
abstract : data flow anomalies ( dfa ) are those anomalies related to the accessing and updating of data items in a program . the conventional dfa detection techniques alone can not be used to identify the data flow anomalies associated with the instance variables defined in a class . in this paper, a method for identifying the data flow anomalies present across the methods of a class is proposed . the method sequence specification ( mtss ) is used in conjunction with the conventional dfa detection techniques to identify the data flow anomalies in classes . this technique can ensure that there are no data flow anomalies present across methods in a class if the methods are invoked in such a way that they are compliant with the method sequence specification 文摘:數(shù)據(jù)流異常是指程序中與變量使用有關(guān)的不合常規(guī)的“可疑”情況.僅靠傳統(tǒng)的數(shù)據(jù)流異常檢查技術(shù)不能發(fā)現(xiàn)面向?qū)ο蟪绦蛑信c實(shí)例變量有關(guān)的數(shù)據(jù)流異常,將方法序列規(guī)范與傳統(tǒng)的檢查技術(shù)結(jié)合起來,提出了一種能檢查對象的實(shí)例變量的數(shù)據(jù)流異常的方法.當(dāng)類中方法的調(diào)用順序符合該類的方法序列規(guī)范時(shí),應(yīng)用提出的方法能保證發(fā)現(xiàn)所有的介于不同方法之間的數(shù)據(jù)流異常
abstract : data flow anomalies ( dfa ) are those anomalies related to the accessing and updating of data items in a program . the conventional dfa detection techniques alone can not be used to identify the data flow anomalies associated with the instance variables defined in a class . in this paper, a method for identifying the data flow anomalies present across the methods of a class is proposed . the method sequence specification ( mtss ) is used in conjunction with the conventional dfa detection techniques to identify the data flow anomalies in classes . this technique can ensure that there are no data flow anomalies present across methods in a class if the methods are invoked in such a way that they are compliant with the method sequence specification 文摘:數(shù)據(jù)流異常是指程序中與變量使用有關(guān)的不合常規(guī)的“可疑”情況.僅靠傳統(tǒng)的數(shù)據(jù)流異常檢查技術(shù)不能發(fā)現(xiàn)面向?qū)ο蟪绦蛑信c實(shí)例變量有關(guān)的數(shù)據(jù)流異常,將方法序列規(guī)范與傳統(tǒng)的檢查技術(shù)結(jié)合起來,提出了一種能檢查對象的實(shí)例變量的數(shù)據(jù)流異常的方法.當(dāng)類中方法的調(diào)用順序符合該類的方法序列規(guī)范時(shí),應(yīng)用提出的方法能保證發(fā)現(xiàn)所有的介于不同方法之間的數(shù)據(jù)流異常
abstract : data flow anomalies ( dfa ) are those anomalies related to the accessing and updating of data items in a program . the conventional dfa detection techniques alone can not be used to identify the data flow anomalies associated with the instance variables defined in a class . in this paper, a method for identifying the data flow anomalies present across the methods of a class is proposed . the method sequence specification ( mtss ) is used in conjunction with the conventional dfa detection techniques to identify the data flow anomalies in classes . this technique can ensure that there are no data flow anomalies present across methods in a class if the methods are invoked in such a way that they are compliant with the method sequence specification 文摘:數(shù)據(jù)流異常是指程序中與變量使用有關(guān)的不合常規(guī)的“可疑”情況.僅靠傳統(tǒng)的數(shù)據(jù)流異常檢查技術(shù)不能發(fā)現(xiàn)面向?qū)ο蟪绦蛑信c實(shí)例變量有關(guān)的數(shù)據(jù)流異常,將方法序列規(guī)范與傳統(tǒng)的檢查技術(shù)結(jié)合起來,提出了一種能檢查對象的實(shí)例變量的數(shù)據(jù)流異常的方法.當(dāng)類中方法的調(diào)用順序符合該類的方法序列規(guī)范時(shí),應(yīng)用提出的方法能保證發(fā)現(xiàn)所有的介于不同方法之間的數(shù)據(jù)流異常
abstract : data flow anomalies ( dfa ) are those anomalies related to the accessing and updating of data items in a program . the conventional dfa detection techniques alone can not be used to identify the data flow anomalies associated with the instance variables defined in a class . in this paper, a method for identifying the data flow anomalies present across the methods of a class is proposed . the method sequence specification ( mtss ) is used in conjunction with the conventional dfa detection techniques to identify the data flow anomalies in classes . this technique can ensure that there are no data flow anomalies present across methods in a class if the methods are invoked in such a way that they are compliant with the method sequence specification 文摘:數(shù)據(jù)流異常是指程序中與變量使用有關(guān)的不合常規(guī)的“可疑”情況.僅靠傳統(tǒng)的數(shù)據(jù)流異常檢查技術(shù)不能發(fā)現(xiàn)面向?qū)ο蟪绦蛑信c實(shí)例變量有關(guān)的數(shù)據(jù)流異常,將方法序列規(guī)范與傳統(tǒng)的檢查技術(shù)結(jié)合起來,提出了一種能檢查對象的實(shí)例變量的數(shù)據(jù)流異常的方法.當(dāng)類中方法的調(diào)用順序符合該類的方法序列規(guī)范時(shí),應(yīng)用提出的方法能保證發(fā)現(xiàn)所有的介于不同方法之間的數(shù)據(jù)流異常